Buy Used and New Manfred Broy Books

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... II: Mathematics, Physics and Chemistry)

by

ISBN 13: 9781402035319

Format: Paperback (404 pages)
Publisher: Springer
Published: 15 Jul 2005

Save for later

Ubungen Zur Einfuhrung in Die Informatik: Strukturierte Aufgabensammlung Mit Musterlosungen: Strukturierte Aufgabensammlung mit Musterlösungen (Springer-Lehrbuch)

by Manfred Broy,Bernhard Rumpe

ISBN 13: 9783540420651

Format: Hardcover (376 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 21 Sep 2001

Save for later

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, ... / Programming and Software Engineering)

by

ISBN 13: 9783540709299

Format: Paperback (183 pages)
Publisher: Springer
Published: 14 Jul 2008

Save for later

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers (Lecture Notes in Computer Science)

by

ISBN 13: 9783540430759

Format: Paperback (548 pages)
Publisher: Springer
Published: 14 Dec 2001
Other Format: Paperback

Save for later

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 ... (Lecture Notes in Computer Science)

by

ISBN 13: 9783540671022

Format: Paperback (540 pages)
Publisher: Springer
Published: 26 Jan 2000
Other Format: Paperback

Save for later

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540262787

Format: Paperback (667 pages)
Publisher: Springer
Published: 27 Jun 2005

Save for later

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Lecture Notes in Computer Science)

by Manfred Broy,Stefan J??hnichen

ISBN 13: 9783540605898

Format: Paperback (468 pages)
Publisher: Springer
Published: 08 Nov 1995

Save for later

Methods of Programming: Selected Papers on the CIP-Project: 544 (Lecture Notes in Computer Science)

by Manfred Broy,Martin Wirsing

ISBN 13: 9783540545767

Format: Paperback (288 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings: 735 (Lecture Notes in Computer Science)

by Manfred Broy,Dines Bjorner,Igor V. Pottosin

ISBN 13: 9783540573166

Format: Paperback (452 pages)
Publisher: Springer
Published: 05 Oct 1993

Save for later

Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

by Manfred Broy,Alexander Malkis

ISBN 13: 9783658263010

Format: Paperback (468 pages)
Publisher: Springer Vieweg
Published: 21 Jul 2019

Save for later

Formal Systems Specification: The RPC-Memory Specification Case Study: 1169 (Lecture Notes in Computer Science)

by Manfred Broy,Stephan Merz,Katharina Spies

ISBN 13: 9783540619840

Format: Paperback (572 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

by Klaus Pohl,Harald Hönninger,Reinhold Achatz,Manfred Broy

ISBN 13: 9783642439926

Format: Paperback (316 pages)
Publisher: Springer
Published: 14 Dec 2014

Save for later